Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
171	Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-03-07 22:58:09 Non-classical logic Philosophical logic Logic in computer science Philosophy of mathematics Mathematical constructivism Modal logic Intuitionistic logic Intuitionism Curry–Howard correspondence Logic Mathematical logic Mathematics
172	Study Guide for Final Exam Philosophy 142 Spring, 2011 The exam will take place Thursday May 12, 3–6 PM, in 110 Wheeler Hall. You should bring your own bluebook and a pen or pencil. The exam is closed book, closed note Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-05-02 22:08:25 Conditionals Paraconsistent logic Philosophy of mathematics Intuitionistic logic Truth value Relevance logic Classical logic Indicative conditional Sorites paradox Logic Non-classical logic Philosophical logic
173	Syllabus January 28, 2011 Philosophy 142: Philosophical Logic Professor John MacFarlane Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-28 21:51:01 Non-classical logic Conditionals Binary operations Propositional calculus Entailment Modal logic Material conditional First-order logic Indicative conditional Logic Mathematical logic Philosophical logic
174	PDF Document Add to Reading List Source URL: www.parrhesiajournal.org Language: English - Date: 2007-08-30 22:47:44 Philosophy of mathematics Mathematical constructivism Non-classical logic Philosophical logic Rules of inference Alain Badiou Ontology Empty set Intuitionism Logic Mathematical logic Mathematics
175	Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:16:44 Reasoning Logical consequence Non-classical logic Probabilistic logic Entailment First-order logic Bayesian probability Inference Complete theory Logic Philosophical logic Model theory
176	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science
177	Table of Contents Foreword ..............................................................................................................................................1 1. Introduction.................................. Add to Reading List Source URL: agora.metaphysica.skaut.org Language: English - Date: 2002-11-18 13:27:44 Modal logic Philosophical logic Possibility Non-classical logic Empiricism Possible world Entailment A priori and a posteriori Intensional logic Logic Philosophy Mathematical logic
178	DL-Learner Manual Jens Lehmann February 13, 2015 DL-Learner is a machine learning framework for OWL and description logics. It includes several learning algorithms and is easy to extend. DLLearner widens the scope of Ind Add to Reading List Source URL: dl-learner.org Language: English - Date: 2015-02-13 08:51:20 Artificial intelligence Description logic Information science Non-classical logic Web Ontology Language Semantic reasoner Machine learning Inductive logic programming Semantic Web Science Information
179	c ACM In ACM Computing Surveys, Vol. 30, No. 3, September 98. Optimizing Modular Logic Languages Michele Bugliesi Dipartimento di Matematica Pura e Applicata, Universit`a di Padova Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:38:21 Logic programming Non-classical logic Substructural logic Programming language Mathematical logic Logic Prolog Actor model Linear logic Software engineering Computing Programming language theory
180	Schedule February 22, 2011 This schedule is subject to revision. Check the course website (http://johnmacfarlane.netfor current reading and writing assignments. Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-22 14:55:51 Non-classical logic Propositional calculus Binary operations Conditionals Many-valued logic Relevance logic Entailment Material conditional Indicative conditional Logic Mathematical logic Philosophical logic

UPDATE